AI资讯新闻榜单内容搜索-AI for Mat

关键词: AI新闻,AI数学,人工智能,AI for Math

北京大学AI for Math团队宣布在Lean 4中完整形式化庞加莱猜想，约320万行代码、半个月内完成、成本不到3万美元，是首个同时通过Lean编译与Comparator双重验证的版本。

关键词: AI新闻,深度原理,Deep Principle,AI材料

7月14日，AI for Materials公司深度原理Deep Principle完成A系列融资，累计融资金额近10亿元人民币。A系列融资的募集资金将用于以下方向：持续升级AI Scientist能力，扩大全球领先优势；依托AI Materials Factory，加速重点材料管线研发落地；深化海内外上下游合作，共同构建产业生态。

关键词: 陶哲轩,AI数学,AI资源,AI学术,AI数学家

AI for Math 领域，如果你一直找不到合适的资源，这份清单或许会有帮助